Fast Parallel Absolute Irreducibility Testing
نویسنده
چکیده
We present a fast parallel deterministic algorithm for testing multivariate integral polynomials for absolute irreducibility, that is irreducibility over the complex numbers. More precisely, we establish that the set of absolutely irreducible integral polynomials belongs to the complexity class NC of Boolean circuits of polynomial size and logarithmic depth. Therefore it also belongs to the class of sequentially polynomial-time problems. Our algorithm can be extended to compute in parallel one irreducible complex factor of a multivariate integral polynomial. However, the coefficients of the computed factor are only represented modulo a not necessarily irreducible polynomial specifying a splitting field. A consequence of our algorithm is that multivariate polynomials over finite fields can be tested for absolute irreducibility in deterministic sequential polynomial time in the size of the input. We also obtain a sharp bound for the last prime p for which, when taking an absolutely irreducible integral polynomial modulo p, the polynomial’s irreducibility in the algebraic closure of the finite field of order p is not preserved. Ke ywords: Absolute Irreducibility, Polynomial-Time Complexity, Parallel Algorithm. * This research was partially supported by the National Science and Engineering Council of Canada under grant 3-643-126-90. Author’s current address: Rensselaer Polytechnic Institute, Department of Computer Science, Troy, New York, 12181. This paper appears in the Journal of Symbolic Computation, vol. 1, nr. 1, pp. 57-67 (1985).
منابع مشابه
Effective Noether Irreducibility Forms and Applications
Using recent absolute irreducibility testing algorithms, we derive new irreducibility forms. These are integer polynomials in variables which are the generic coefficients of a multivariate polynomial of a given degree. A (multivariate) polynomial over a specific field is said to be absolutely irreducible if it is irreducible over the algebraic closure of its coefficient field. A specific polyno...
متن کاملDeterministic Irreducibility Testing of Polynomials over Large Finite Fields
We present a sequential deterministic polynomial-time algorithm for testing dense multivariate polynomials over a large finite field for irreducibility. All previously known algorithms were of a probabilistic nature. Our deterministic solution is based on our algorithm for absolute irreducibility testing combined with Berlekamp’s algorithm.
متن کاملTesting modules for irreducibility
A practical method is described for deciding whether or not a nite-dimensional module for a group over a nite eld is reducible or not. In the reducible case, an explicit submodule is found. The method is a generalisation of the Parker-Norton`Meataxe' algorithm, but it does not depend for its eeciency on the eld being small. The principal tools involved are the calculation of the nullspace and t...
متن کاملPolynomial irreducibility testing through Minkowski summand computation
In this paper, we address the problem of deciding absolute irreducibility of multivariate polynomials. Our work has been motivated by a recent work due to Gao et. al. [1, 2, 3] where they have considered the problem for bivariate polynomials by studying the integral decomposability of polygons in the sense of Minkowski sum. We have generalized their result to polynomials containing arbitrary nu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Comput.
دوره 1 شماره
صفحات -
تاریخ انتشار 1985